Coco – Solving the Expression Problem in Standard OO (Java, C#, Scala, ..)
drops.dagstuhl.de·4h·
Discuss: Hacker News
🐫OCaml
Issue 489
haskellweekly.news·3h·
Discuss: Hacker News
🔠Type-Level Programming
RAFFLES: Reasoning-based Attribution of Faults for LLM Systems
arxiv.org·2d
🧠Automated Reasoning
Polymorphic symmetric multiple dispatch with variance
dl.acm.org·13h·
Discuss: Hacker News
💎Refinement Types
The Rise of Async Programming
braintrust.dev·3h·
Discuss: Hacker News
🤖Program Synthesis
Adventures in C++ Game Architecture
hoboker.substack.com·2d·
Discuss: Substack, r/programming
🧱Immutable Infrastructure
Improving state machine code generation
trifectatech.org·2d·
Discuss: r/rust
🐫Embedded OCaml
We Rebuilt Our SQL Parser in Rust: 3.3x Faster with Zero-Copy and Better Errors
databend.com·7h·
Discuss: Hacker News
🧩Parser Combinators
Allocations Are a Dependency
clipperhouse.com·21h·
Discuss: Hacker News
🧩Separation Logic
Bypassing WAFs for Fun and JavaScript Injection with Parameter Pollution
blog.ethiack.com·2h·
Discuss: Hacker News
🌐NetworkProtocols
Object Reorientation: Generic Functions
gigamonkeys.com·14h·
Discuss: Hacker News
🧮Lambda Calculus
Karate – Test Automation Made Simple
karatelabs.github.io·1d·
Discuss: Hacker News
❄️Nixified Development
Program management update — August 2025
blog.rust-lang.org·15h·
Discuss: Hacker News, r/rust
🐫OCaml
Trial and Error Driven Development
stevenoxley.com·18h·
Discuss: Hacker News
🎮Verification Games
Context Pruning in Conversational Agent
poonai.xyz·1d·
Discuss: Hacker News
✓Automated Theorem Proving
C++ Language Updates in MSVC Build Tools v14.50
devblogs.microsoft.com·1d·
Discuss: Hacker News, r/cpp
🐫OCaml
Verification power of rational-valued automata with deterministic and affine states
arxiv.org·1d
🔍Formal Verification
Effects as Capabilities in Scala
nrinaudo.github.io·1d·
Discuss: Lobsters, Hacker News
🏹Effect Systems
The bloat of edge-case first libraries
43081j.com·1d·
Discuss: Lobsters, Hacker News
💎Refinement Types
Ripple: An LLVM compiler-interpreted API to support SPMD and loop annotat
discourse.llvm.org·9h·
Discuss: Lobsters, Hacker News
⚙️PL Implementation